Тарский Альфред

Тарский Альфред
\
Семантика Тарского и интуиционизм Брауэра
\
    Альфред Тарский (1902—1984) в работе «Понятие истины в формализованных языках» (1934) разработал теорию моделей. Уточняя понятие истины и семантического (а не синтаксического) понятия логического следствия, Тарский занялся отношениями между формализованными языками и множеством объектов. Логическая семантика после открытий Гёделя стала центральной.
    Если исчисление согласуется с моделью, то оно последовательно. Это доказательство семантического типа.
    Нельзя не сказать несколько слов об интуиционизме в математике нашего столетия. Если Фреге и Рассел считали математические объекты объективно существующими, а Гильберт существующими считал только правильно определенные объекты, то голландец Лёйтзен Эгберт Ян Брауэр (1881—1966) полагал математический объект существующим только в случае, если удается его сконструировать или указать процедуру построения похожего объекта. Эта интуиционистская концепция запрещает возвращение к актуально бесконечному. Если и говорится о бесконечном, то о потенционально бесконечном, и никогда не об актуально данном. С другой стороны, если существование математического объекта означает его реализованную конструкцию, то этот тип доказательства известный «закон исключенного третьего» не принимает. Практика показывает, что если математические объекты проходят интуитивный контроль, то опасности антиномий удается избежать. Казалось, что интуиционизм отказывается от большей части классической математики. В сегодняшней математике интуиционизм образует одно из интереснейших и плодотворных течений.

Западная философия от истоков до наших дней. - "Петрополис".. . 1994.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "Тарский Альфред" в других словарях:

  • Тарский, Альфред — Альфред Тарский Alfred Tarski Дата рождения …   Википедия

  • Тарский Альфред — (Tarski) (1902 1983), логик и математик, один из главных представителей львовско варшавской школы. С 1939 в США. Труды по логико алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как… …   Энциклопедический словарь

  • Тарский Альфред — Тарский (Tarski) Альфред (р. 14.1.1902, Варшава), польский логик и математик (с 1939 живёт в США). Полученные Т. результаты относятся к теории множеств, теории булевых алгебр, логикам с формулами бесконечной длины и др. разделам математической… …   Большая советская энциклопедия

  • Тарский Альфред — …   Википедия

  • Тарский Альфред — (Tarski, Alfred) (1902 83), польск. математик, логик и философ. Получил известность благодаря своим работам 1930 х гг. о понятиях истины и логического следования (вошли в издание 1972 г.: Логика, семантика и метаматематика), крые составляют лишь… …   Народы и культуры

  • Тарский — фамилия и топоним. Известные носители Тарский, Альфред Тарский, Юрий Семёнович Топоним Тарский хутор, Курский район, Ставропольский край См. также Тарский район Омская область …   Википедия

  • ТАРСКИЙ — (Tarski) Альфред (1901 1983) пол. логик и математик. Изучал математику и философию в Варшаве в 1919 1923; его учителями были логики С. Лесьневский и Я. Лукасевич, математик В. Серпиньский и философ Т. Котарбиньский. В 1925 1939 Т. преподавал… …   Философская энциклопедия

  • ТАРСКИЙ (Tarski) Альфред — (1902 83) польский и американский логик и математик, один из главных представителей львовско варшавской школы. С 1939 в США. Труды по логико алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической… …   Большой Энциклопедический словарь

  • ТАРСКИЙ — (Tarski) Альфред (1902 83), американский математик и философ, уроженец Польши. Известен тем, что разработал семантический метод, применяемый в метаматематике (раздел математической логики.) Опубликовал «Введение в логику и методологию дедуктивных …   Научно-технический энциклопедический словарь

  • ТАРСКИЙ — (Tarski) Альфред (1902 1984) польско американский логик и математик, один из главных представителей Львовско варшавской школы. Доцент Варшавского университета (1926). С 1939 в США. Сотрудник Гарвардского университета и Института высших… …   Новейший философский словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»